class A {+p:T}
